install (FILES "${MODULE_DIR}/ibex-config-utils.cmake" ${EXPORTFILES}
          DESTINATION ${CMAKE_INSTALL_CONFIGCMAKE} COMPONENT devtools)
